A Connectionist Model for Constructive Modal Reasoning
نویسندگان
چکیده
We present a new connectionist model for constructive, intuitionistic modal reasoning. We use ensembles of neural networks to represent intuitionistic modal theories, and show that for each intuitionistic modal program there exists a corresponding neural network ensemble that computes the program. This provides a massively parallel model for intuitionistic modal reasoning, and sets the scene for integrated reasoning, knowledge representation, and learning of intuitionistic theories in neural networks, since the networks in the ensemble can be trained by examples using standard neural learning algorithms.
منابع مشابه
Connectionist modal logic: Representing modalities in neural networks
Modal logics are amongst the most successful applied logical systems. Neural networks were proved to be effective learning systems. In this paper, we propose to combine the strengths of modal logics and neural networks by introducing Connectionist Modal Logics (CML). CML belongs to the domain of neural-symbolic integration, which concerns the application of problem-specific symbolic knowledge w...
متن کاملPrincipal-Centric Reasoning in Constructive Authorization Logic
We present an authorization logic that is quite similar to constructive modal S4. The logic assumes that principals are conceited in their beliefs. We describe the sequent calculus, Hilbert-style axiomatization, and Kripke semantics of the logic. A distinguishing characteristic of the sequent calculus is that hypothetical reasoning is relativized to beliefs of principals. We prove several meta-...
متن کاملSome Intuitions behind Realizability Semantics for Constructive Logic: Tableaux and Ll Auchli Countermodels
We use formal semantic analysis based on new, model-theoretic constructions to generate intuitive conndence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning. Well-known modal semantic formalisms have been deened by Kripke and Beth, but these have no formal concepts corresponding to constructions , and shed little intuitive light on the meanings of formu...
متن کاملComputational modeling of dynamic decision making using connectionist networks
In this research connectionist modeling of decision making has been presented. Important areas for decision making in the brain are thalamus, prefrontal cortex and Amygdala. Connectionist modeling with 3 parts representative for these 3 areas is made based the result of Iowa Gambling Task. In many researches Iowa Gambling Task is used to study emotional decision making. In these kind of decisio...
متن کاملEpistemic possibilities for constructive reasoning with open assumptions
For the verificationist principle of truth underlying intuitionistic logic and constructivism, semantic truth conditions for propositions are substituted by syntactically defined assertion conditions for judgments ([2]). Where the standard interpretation of such notion of truth is given in a language for arithmetic, far less clear is how to interpret it for the representation of rational knowle...
متن کامل